Decision Problems Solution - Intro To Theoretical Computer Science